Boolean algebra

Results: 1241



#Item
81Propositional calculus / Logical consequence / Boolean algebra / Classical logic / Semantics / Truth table / Tautology / Validity / Logical equivalence / Argument / Deductive reasoning / If and only if

VALIDITY IN SENTENTIAL LOGIC.

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
82Boolean algebra / Formal methods / Theoretical computer science / Implicant / Disjunctive normal form / IP / Lambda calculus / Vector space / Boolean satisfiability problem / Bayesian network

RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing

Add to Reading List

Source URL: aml.media.mit.edu

Language: English - Date: 2011-07-13 14:33:31
83Measure theory / Probability theory / Boolean algebra / Sigma-algebra / Dynamical system

WORKING PAPER N° Dynamically consistent CEU preferences ANDRE LAPIED, PASCAL TOQUEBEUF

Add to Reading List

Source URL: www.tepp.eu

Language: English - Date: 2015-07-01 09:43:33
84Complexity classes / Computational complexity theory / Boolean algebra / Structural complexity theory / NP-complete problems / Boolean satisfiability problem / NP / PP / Reduction / True quantified Boolean formula / Exponential time hypothesis / P

Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture IV

Add to Reading List

Source URL: zoo.cs.yale.edu

Language: English - Date: 2008-10-07 04:07:53
85Boolean algebra / Boolean data type / Boolean / Data type / Cursor / Scala

Land surface process modelling with PCRaster Python Release 2.5 Derek Karssenberg

Add to Reading List

Source URL: karssenberg.geo.uu.nl

Language: English - Date: 2015-03-24 10:53:24
86Semantics / Philosophy of language / Quantification / Predicate logic / Pragmatics / Presupposition / Definite description / Quantifier / Proposition / Generalized quantifier / Accommodation / Boolean algebra

Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate:

Add to Reading List

Source URL: www.cssp.cnrs.fr

Language: English - Date: 2011-02-21 12:14:01
87Matrix theory / Multivariate statistics / Numerical linear algebra / Matrix / Factorization / Algorithm / Non-negative matrix factorization / Principal component analysis

Interactive Constrained Boolean Matrix Factorization Nelson Mukuze PauIi Miettinen Max-Planck-Institut für Informatik

Add to Reading List

Source URL: poloclub.gatech.edu

Language: English - Date: 2016-07-22 15:05:21
88Algebraic structures / Polynomials / Mathematical optimization / Pseudo-Boolean function / Symmetric functions / Ring / Symmetric matrix / Boolean algebra / Elementary symmetric polynomial

Quadratization of Symmetric Pseudo-Boolean Functions Martin Anthonya , Endre Borosb , Yves Cramac , Aritanan Gruberd,∗ a Department of Mathematics, London School of Economics and Political Science, UK.

Add to Reading List

Source URL: www.maths.lse.ac.uk

Language: English - Date: 2015-12-10 05:21:39
89Boolean algebra / User interface techniques / Boolean data type / Selection / Scroll wheel

TMS SOFTWARE TMS FNC Grid DEVELOPERS GUIDE TMS FNC Grid DEVELOPERS GUIDE

Add to Reading List

Source URL: www.tmssoftware.biz

Language: English - Date: 2016-07-12 04:44:33
90Fuzzy logic / Artificial intelligence / Logic in computer science / Systems scientists / Lotfi A. Zadeh / Kathmandu / Boolean algebra / Fuzzy concept

Microsoft Word - 2015_11_19_jha_abstract.docx

Add to Reading List

Source URL: irafm.osu.cz

Language: English - Date: 2015-11-10 06:43:07
UPDATE